mathematical reasoning
英 [ˌmæθəˈmætɪkl ˈriːznɪŋ]
美 [ˌmæθəˈmætɪkl ˈriːznɪŋ]
网络 数学推理
双语例句
- Thanks to that radically different approach, Haskell's conciseness and expressiveness is unmatched in many applications, particularly in those requiring mathematical reasoning.
正是由于完全不同的方法，Haskell才能在很多应用程序中提供无以匹敌的简洁性和表达力，在那些要求进行数学推理的应用程序中，这一点更是表现突出。 - Mathematical Reasoning and Practical Formulas for Frequency Spectrum Analyzing Method Using Fast Anti alias Fourier Transform
快速抗混迭傅立叶变换频谱计算法的推证及实用计算公式 - There is also a correlation between mathematical reasoning and temporal-lobe activity in men-but none in women.
在男性中数学推论能力和颞叶活动存在关联，而女性却没有。 - Why then does it not fail me in a difficult piece of mathematical reasoning where most chess-players would lose themselves?
为什么令大多数象棋选手感到吃力的数学题，却不会难倒我呢？ - The logical analysis of mathematical reasoning.
擅长推理的哲学家.数学推理的逻辑分析。 - Five important themes are interwoven in this course: Mathematical reasoning, combinatorial analysis, discrete structures, applications and modeling, and algorithmic thinking.
一个成功的离散数学必须交织与平衡以下上五项主要课题，那就是数学推理。 - Mathematical logic is to study the logic of reasoning, using mathematical symbols of the reasoning given way to establish rules of reasoning system.
数理逻辑是研究推理逻辑的，采用数学符号化的方法给出推理规则来建立推理体系。 - If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.
如果能证明该蕴涵式为重言式，那么其数学命题的证明推理形式就是正确的。 - Hume contended that only knowledge obtained by mathematical reasoning was certain.
休漠主张，只有经过数学推理获得的知识才是可靠的。 - Hungary is undergoing a mathematics curriculum reform. Cultivation of mathematical reasoning is greatly emphasized in the process of the reform.
匈牙利正在着手进行新一轮数学课程改革，在改革过程中，匈牙利非常强调学生数学推理能力的培养。 - Because linkage equilibrium is introduced by directly quoting the conclusions or imprecise mathematical reasoning in most of textbooks, many students are puzzled with the problem of linkage equilibrium when they learn population genetics.
由于许多教科书中关于连锁平衡的介绍，多是引用结论或是推导不太严谨，使学生在学习群体遗传学时对理解连锁平衡的原理感到困难。 - Based on the exact explanation of the definition of the entropy in statistical physics it is proved that the entropy in statistical physics and the entropy in thermodynamics are identical physical quantity by means of mathematical reasoning method.
本文在阐明统计物理熵的定义的基础上，采用了一种便于接受的数学推理证明统计物理中定义的熵与热力学中定义的熵是同一个物理量。 - Since this paper focuses on methodology, large part was used for mathematical reasoning and analysis of methods concerned, which is the theoretical foundation of the paper.
本论文作为方法研究，用较大篇幅对数据处理的数学方法的关键理论和核心思想进行了严格的数学推理证明和深刻的分析，这一部分是论文实例分析的理论基础。 - The article analyses the consanguineous contacts between mathematical exploring and mathematical reasoning, and puts forward the idea of developing students 'mathematical reasoning ability through mathematical exploring teaching.
本文分析了数学探究与数学推理的密切联系，提出了通过数学探究教学这一途径全面培养学生的数学推理能力的构想，为此设计了各种不同的数学探究教学案例。 - Proceeding from the purpose of mathematical teaching, this article points out the importance of cultivating students 'ability of mathematical conjecture and reasoning in mathematics teaching as well as puts forward an instruction pattern for it with analysis and proof.
从数学教育的目的出发，指出了数学教学中培养学生数学猜测推理能力的重要性；提出了培养学生数学猜测能力的教学模式，并加以分析论证。 - On the Development of Mathematical Reasoning Ability for Primary and Middle School Students
中小学生数学推理能力培养探析 - Experience and Pattern of Developing Mathematical Reasoning in Hungary
匈牙利培养学生数学推理能力的经验及借鉴 - Applies the strict mathematical reasoning, translates the problem of relearning algorithm of redial basis function neural network into the problem additional operation of matrix operation.
应用严格的数学推理方法，将径向基函数神经网络的再学习问题转化为矩阵求逆的附加运算。 - By mathematical reasoning, the author compares the criteria by the author et al with classical eigenvalue method and it is found that the author's criteria are superior and more complete.
通过数学推导，比较作者等提出的方法和传统的特征根法.发现新方法导出的计算准则更为完善和普遍适用。 - Employing mathematical reasoning, mathematical relations of mutation probabilities and diversity in binary genetic algorithms are proved which provide theorems and computation methods for adjusting adaptively mutation probabilities with diversity.
通过数学分析，证明了二进制遗传算法的变异概率和多样度之间的数学关系，为多样度引导的遗传算法提供了一种变异概率调整理论和计算方法。 - Through the mathematical reasoning, the polytropic processes model is connected with the heat transfer model and the first law. The value of the polytropic exponent can be obtained by the air mass, heat, and work exchanges of the pneumatic container.
通过数学推导，将多变过程建模与传热模型，第一定律建模联系起来，多变因子的取值可通过气动容腔中气体的质量交换、热交换及功交换计算获得。 - Formal verification uses rigorous mathematical reasoning to show that a design meets all or parts of its specification, and has attracted dramatically the interests of both academic and industrial fields.
形式验证方法使用严格的数学推理来证明设计满足规范的部分或全部属性，引起学术界和产业界的广泛关注。 - In the process of mathematical reasoning, marginal economic capital of all business equals each other when allocation of economic capital is optimal.
在经济资本最优配置的数学证明过程中，边际经济资本相等是经济资本最优化配置的充分条件。 - In the new round of high school mathematics curriculum reform, the first time the mathematical plausible reasoning ability of students to high school mathematics curriculum into the training objectives in the past.
在新一轮的高中数学课程改革中，第一次将学生的数学合情推理能力纳入到高中数学课程培养目标中来。 - A series rigorous mathematical reasoning and statistical reference base on setting model correctly.
而只有正确的设定模型，才能通过一系列严格的数学推导和统计推断，真实体现经济过程的运行特征。 - Entropy method is strict mathematical reasoning, and its evaluation will be much more objective.
而熵值法有严密的数学推理，使评价结果更加客观。 - In this paper, we research the cost and benefit of the three financing model using the theoretical explanation, empirical analysis and mathematical reasoning.
本文运用理论阐述、实证分析和数学推理等方法，从企业最关心的成本和收益角度对三种融资方式做了分析。 - Mathematics is the attention to their mathematical reasoning, More to use the ratiocination training students 'thinking flexibility, The cultivation of students' autonomous exploring math concepts, Conclusion the process of forming, Experience in which contains the mathematical way of thinking.
数学课程既要关注数学推理严谨性，更要借助合情推理培养学生思维灵活性，培养学生自主探索数学概念、结论形成的过程，体会蕴含在其中的数学思想方法。 - Cut resistance 、 push Resistance 、 friction resistance 、 gear lever into the resistance and Cantilever force are analyzed by rigorous mathematical reasoning computation.
通过严密的数学推理计算，详细地分析了抓斗的切入阻力、推压阻力、摩擦阻力、齿杆插入阻力以及悬臂的受力。 - Trustworthy computing pursues the reliable computing services, whom need to be proved by rigorously mathematical reasoning.
高可信计算追求软件和系统提供可信赖的计算服务能力，而这种可信赖性是建立在严格数学证明上的。